Albert - Ludwigs - Universität Freiburg
نویسندگان
چکیده
The emptiness of the intersection of visibly pushdown languages [1] is decidable. However, if different alphabet partitions, or more precisely pushdown alphabets, are considered, the emptiness of this intersection becomes undecidable. It will be shown that this problem can be split into four cases. One of them has already been studied, another one is trivial. Of the last two cases one will be proven undecidable in this paper, the other one remains open.
منابع مشابه
Determination of Organochlorine Pesticides in Wildlife Liver and Serum Using Gas Chromatography Tandem Quadrupole Mass Spectrometry
Lucas Willmann1,3, Manuel Schlimpert1, Daqiang Pan1, Christoph Bauer1, Jens Trafkowski2, Sonja Krieger2, Michael Rodamer2, Thalia Erbes5, Hans Neubauer4, Bernd Kammerer1* 1Center for Biological Systems Analysis ZBSA, Albert-Ludwigs-University Freiburg, 79104 Freiburg, Germany 2Agilent Technologies, Waldbronn, Germany 3Institute of Biology II, Albert-Ludwigs-University Freiburg, 79104 Freiburg, ...
متن کاملEntanglement of Identical Particles and the Detection Process
Malte C. Tichy∗,1, 2 Fernando de Melo,1, 3, 4 Marek Kuś,5 Florian Mintert,1, 6 and Andreas Buchleitner1 Physikalisches Institut, Albert–Ludwigs–Universität Freiburg, Hermann–Herder–Str. 3, D–79104 Freiburg, Germany Lundbeck Foundation Theoretical Center for Quantum System Research, Department of Physics and Astronomy, University of Aarhus, DK–8000 Aarhus C, Denmark Instituut voor Theoretische F...
متن کاملConfronting Arbitrary Higgs Sectors with Exclusion Bounds from Lep and Tevatron
P. BECHTLE, O. BREIN, S. HEINEMEYER, G. WEIGLEIN AND K. E. WILLIAMS DESY, Notkestrasse 85, 22607 Hamburg, Germany Physikalisches Institut, Albert-Ludwigs-Universität Freiburg, D-79106 Freiburg, Germany Instituto de Fisica de Cantabria (CSIC-UC), Santander, Spain Institute for Particle Physics Phenomenology, Durham University, Durham, DH1 3LE, UK Physikalisches Institut der Universität Bonn, 531...
متن کاملRoot systems analysis branches out
1 Faculty of Biology, Institute of Biology II/Botany, Albert-Ludwigs-University of Freiburg, Freiburg, Germany, 2 Centre of Biological Systems Analysis, Albert-LudwigsUniversity of Freiburg, Freiburg, Germany, 3 Freiburg Institute of Advanced Sciences (FRIAS), Albert-Ludwigs-University of Freiburg, Freiburg, Germany and 4 Centre for Biological Signalling Studies (BIOSS), Albert-Ludwigs-Universi...
متن کاملSensory Reweighting Dynamics in Human Postural Control 2 3 Authors 4
1 Sensory reweighting dynamics in human postural control 2 3 Authors 4 Lorenz Assländer, Robert J Peterka 5 6 Affiliations: 7 Neurologie der Universität Freiburg, Neurozentrum, Breisacher Str. 64, 79106 Freiburg, 8 Germany 9 Albert-Ludwigs-Universität Freiburg, Institut fϋr Sport und Sportwissenschaft, 10 Schwarzwaldstr. 175, 79117 Freiburg, Germany 11 Oregon Health & Science University, Depart...
متن کاملSupporting Information ”Interleukin-1β enhances FasL-induced caspase-3/-7 activity without increasing apoptosis in primary mouse hepatocytes”
1 Department of Pharmaceutical Biology and Biotechnology, Albert Ludwigs University Freiburg, Stefan-Meier-Str. 19, 79104 Freiburg, Germany 2 Institute for System Dynamics, University of Stuttgart, 70550 Stuttgart, Germany 3 Dr. Margarete Fischer-Bosch Institute of Clinical Pharmacology, Auerbachstr. 112, 70376 Stuttgart, Germany 4 Institute of Molecular Medicine and Cell Research, Albert Ludwi...
متن کامل